In some ways typeclasses and types are the Haskell implementation of the idea of “It’s turtles all the way down!” I post this on my blog in the sure and certain knowledge that if I’ve misunderstood something someone will quickly comment and set me straight!
The “socratic approach” to teaching is to ask students pointed questions to lead students to discover things for themselves by thinking about the question and its possible answers. Could we adopt this approach to screening technical candidates? If so would it help us to better discover good technical candidates?